- логический оператор эквивалентности
-
логический оператор эквивалентности
—
[http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
- нефтегазовая промышленность
EN
- if and only if
Справочник технического переводчика. – Интент. 2009-2013.
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки
интенсиональные контексты — ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ (от лат. intensio усиление) отличаются от стандартных экстенсиональных языков наличием особых предикатных знаков и операторов, напр. типа «верит, что...», «знает, что...», «ищет...», «необходимо, что...». В этих… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
логический оператор эквивалентности
18+
© Академик, 2000-2025
- Обратная связь: Техподдержка, Реклама на сайте
Экспорт словарей на сайты, сделанные на PHP, Joomla, Drupal, WordPress, MODx.